perm filename CIRE10.360[360,GF] blob sn#848995 filedate 1987-11-22 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β8↔&∩p→G#λ_
εd β X@ 4XαS@Eλ↓∀@%_↓∀`%_↓∃% ↓∃%(Q(@λεA0X¬@*@⊂*J@⊂)@J0⊂)@J ⊂(@I` %A)0_"Q `εαa0λR@$P↓∩@$X↓∩`$`↓∪ $p↓∪`5β∀@D("a@`¬@! (↓Ip_'IP⊂&I0⊂%@I ⊂%I ⊂%@(T α¬@!(@ TX∧∀U_α∃ 58↓⊗%H↓⊗@%X↓⊗`%`↓↔%h↓↔ %h↓↔@%p↓↔@%p↓↔@%xQ(@(BQ(
@+`⊂/K`⊂/K`⊂.@KP⊂.@K@⊂.K0⊂-@K ⊂,@K⊂+@JP_)A
(%B	0("Qa0¬"PλR@$P↓∩@$P↓∩`$X↓∩`$`↓∪$h↓∪@$p↓∪`%↓∀ %⊂↓T`5(↓U@U@∧⊗`T("↓ba0
@"⊂(,α
`(*@j0_)j⊂⊂(Ip⊂'I`⊂&@I@⊂&I0⊂%@I0⊂%I ⊂%I ⊂%@(T ∧λ!x@ dX∧T e αU`EH↓V`5`↓W@%x↓_&λ↓_@&⊂↓_`& ↓→&(↓→ &0↓→@&0↓→`&8↓→`&@↓~&@↓~&@↓~&HQ(@H⊂Cqx∂@-⊂4M⊂4M⊂4Lp⊂3@Lp⊂3L`⊂3LP⊂2@L@⊂2L0⊂1L ⊂0@L⊂/@K`⊂.k0_,@jp *↓*⊂0%B)00"Q↓"⊂πcpλR@$P↓∩@$P↓∩@$X↓∩`$X↓∩`$`↓∪$h↓∪ $p↓∪@$x↓∀%↓∀ %⊂↓∀`% ↓∃ %0↓U`5H↓V@E`α↔@f¬→d("αdα∂@# 00αK`0.↓  ,@jp_+jP⊂*J0⊂)J⊂⊂(J⊂'@I`⊂'IP⊂&@I@⊂&I0⊂%@I0⊂%@I ⊂%I ⊂%I ⊂%@(T ε
@"H@ tXε∀A¬8αV@E`α↔@F↓X@6_↓Y &0↓→`&@↓~ &P↓~@&X↓≠&`↓≠ &h↓≠@&p↓≠`&x↓≤'↓≤'λ↓≤ 'λ↓≤ 'λ↓≤@'⊂↓≤@'⊂↓≤@'⊂↓≤@'_Q(@h∃E∩H∀@. ⊂9N ⊂9N ⊂9N ⊂8@N⊂⊂8@N⊂⊂8@N⊂8N⊂7@Mp⊂7M`⊂6@MP⊂6M@⊂5@M ⊂5M⊂⊂4Lp⊂3LP⊂1@l _0k` .↓  +A* @%C	08"Q↓bP∃
%⊂λR@$P↓∩@$P↓∩@$P↓∩`$X↓∩`$X↓∩`$`↓∪$`↓∪ $h↓∪@$p↓∪`$x↓∀%↓∀ %⊂↓∀@%_↓∃%(↓∃@%8↓⊗%H↓V@5`↓W Exα_ F_αY!ε@ε≠ t("βe"P∀@$084βP@1A,⊂ /AP .k _,@k⊂+@J`⊂*@J@⊂)@J ⊂)J⊂⊂(J⊂'@Ip⊂'I`⊂&@IP⊂&I@⊂&I0⊂%@I0⊂%@I0⊂%I ⊂%I ⊂%I ⊂%@(T λ
#_@ tXεTA∃@β⊗`epαX 6_↓YF0↓Z6H↓Z`&`↓≠ &p↓≠`'↓≤ '⊂↓≤@'_↓≥' ↓≥ '(↓≥@'8↓≥`'@↓≡'@↓≡ 'H↓≡ 'P↓≡@'P↓≡`'X↓≡`'X↓≡`'X↓∨'`↓∨'`↓∨'`↓∨'hQ(Aλ~F3_→@/@⊂>O@⊂>O@⊂>O@⊂=@O0⊂=@O0⊂=@O0⊂=O ⊂=O⊂⊂<@O⊂⊂<O⊂<Np⊂;@N`⊂:@NP⊂:N@⊂9@N ⊂9N⊂⊂8Mp⊂7MP⊂6M0⊂4@m_3l@ 1@l⊂_/↓+00,↓J H%C)08"Qα# ~f0λR@$P↓∩@$P↓∩@$P↓∩@$X↓∩`$X↓∩`$X↓∪$`↓∪$h↓∪ $h↓∪@$p↓∪@$x↓∪`%↓∀ %λ↓∀@%⊂↓∀`% ↓∃ %(↓∃@%8↓⊗%H↓⊗@%X↓↔5h↓W`&↓X F_↓Y 60αZfXβ≠Aπλε]A∧("∧fC →@%@@8C-`@5AM03↓,P_1@l⊂ 0kp⊂.@k@_-@K ⊂,@K⊂+@J`⊂*@JP⊂*J0⊂)J ⊂(@J⊂⊂(Ip⊂'@I`⊂'I`⊂&@IP⊂&@I@⊂&I@⊂%@I0⊂%@I0⊂%@I ⊂%I ⊂%I ⊂%I ⊂%@(T 
∂@#h@!∧Xπ∀a%HβW VαX@V(α→`6H↓Z@F`↓[@&x↓\7⊂↓≤`' ↓≥ '0↓≥`'@↓≡ 'H↓≡@'X↓∨'`↓∨ 'h↓∨@'x↓∨`(↓ (λ↓  (λ↓ @(⊂↓ `(_↓ `( ↓!( ↓!((↓! ((↓! ((↓! (0↓!@(0↓!@(0↓!@(0↓!@(8Q(A(∨GSh≡@0`⊂CP`⊂CP`⊂CP`⊂CPP⊂B@PP⊂B@PP⊂B@P@⊂BP@⊂BP0⊂A@P0⊂AP ⊂@@P⊂⊂@@P⊂@Op⊂?@O`⊂>@OP⊂>O@⊂=@O ⊂<@O⊂⊂<Np⊂;NP⊂:N0⊂9N_7@m`⊂6m  4@lp_2A (0↓+P(,Aj0P%CI0@"Qαcp∨∂'PλR@$P↓∩@$P↓∩@$P↓∩@$P↓∩`$X↓∩`$X↓∩`$`↓∪$`↓∪$h↓∪ $h↓∪@$p↓∪`$x↓∪`%↓∀%λ↓∀ %⊂↓∀`%_↓∃% ↓∃ %0↓∃`%8↓⊗%H↓⊗@%X↓↔%h↓↔@%x↓_6λ↓X`& ↓Y F8↓Z 6Pα≠Vpα\ W_β]A↔Pπ∨a∀("¬gcp≡@&PH=βN`H9An⊂(7↓-@(5↓
⊂_3@lP 2l0⊂0@l_/@K`⊂.@K@⊂-@K ⊂,@K⊂+@Jp⊂+JP⊂*J@⊂)@J0⊂)J⊂⊂(@J⊂(Ip⊂'@Ip⊂'I`⊂&@IP⊂&@I@⊂&I@⊂&I0⊂%@I0⊂%@I0⊂%I ⊂%I ⊂%I ⊂%I ⊂%@(T ⊃`$0@↓∀PπTa%HβW fβ_`V0α~FPα≠6p↓[`7λ↓\@7 ↓≥ 70↓↑'H↓≡@'X↓∨'h↓∨@'x↓∨`(↓  (⊂↓ @(_↓!( ↓! (0↓!@(8↓!`(@↓"(H↓" (P↓"@(P↓"`(X↓"`(`↓#(`↓# (h↓# (h↓#@(p↓#@(p↓#@(p↓#`(x↓#`(x↓#`(x↓#`(x↓#`$("ε(p⊂#⊃H∧(↓#`(x↓#`(x↓#`(x↓#`(x↓#@(p↓#@(p↓#@(p↓# (h↓# (h↓#(`↓#(X↓"`(X↓"@(P↓"@(H↓" (@↓"(8↓!`(0↓!@((↓!( ↓ `(⊂↓ @(λ↓ 'x↓∨`'p↓∨ '`↓≡`'P↓≡ '@↓≥@7(↓]'⊂↓\ 6x↓[@6`↓Z@F@α→@F_αXehβ⊗ u_¬∩AtP∧Q(AP$∩λd0I ⊂%I ⊂%I ⊂%I ⊂%I0⊂%@I0⊂%@I0⊂&I@⊂&I@⊂&@IP⊂&@I`⊂'I`⊂'@Ip⊂'@J⊂(J⊂⊂(@J ⊂)J0⊂)@J@⊂*@JP⊂+Jp⊂+@K⊂,@K ⊂-K0⊂.KP⊂/Kp⊂0L⊂⊂1L0_2l`⊂3@m_5m0_6@m` 8↓∞  :↓.`0<AO@8?B00pDα(T 
R	∧0OA__π∨a↔`β↑ g0β≥W⊂α≤Fpα≠ 6X↓Z@6@↓Y`60↓→6_↓X@&λ↓_%x↓↔@%h↓↔%X↓⊗@%P↓⊗ %@↓∃`%8↓∃@%(↓∃ % ↓∀`%_↓∀@%⊂↓∀ %λ↓∀%↓∪`$x↓∪`$p↓∪@$p↓∪ $h↓∪ $`↓∪$`↓∪$X↓∩`$X↓∩`$X↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$("π
⊂⊂( H%∧
0X-α`81↓LP(4↓
  6↓
` 8↓∞ _:nP_;@o_=O0_>o`⊂?@P⊂@@P ⊂A@P@⊂B@P`⊂C@Pp⊂DQ⊂⊂EQ ⊂E@Q@⊂FQP⊂GQ`⊂G@Qp⊂HR⊂H@R⊂⊂IR ⊂I@R0⊂JR@⊂JRP⊂J@RP⊂KR`⊂KR`⊂K@Rp⊂K@Rp⊂LS⊂LS⊂LS⊂LS⊂⊂L@S⊂⊂L@S⊂⊂L@S⊂⊂L@S⊂⊂"QβUλ↓∀
∧'@S⊂⊂L@S⊂⊂L@S⊂⊂L@S⊂⊂L@S⊂LS⊂LS⊂LS⊂K@Rp⊂K@Rp⊂KR`⊂KR`⊂J@RP⊂J@R@⊂JR@⊂I@R0⊂IR ⊂H@R⊂⊂HR⊂G@Qp⊂GQ`⊂F@Q@⊂FQ0⊂EQ ⊂D@Q⊂C@Pp⊂CPP⊂BP0⊂AP⊂⊂@Op⊂?O@_=@o ⊂<np_:@n@_9n 7↓
@ 5↓
 2A, 0/↓k @)Bi!%α(T ∂∀J%($P↓∩@$P↓∩@$P↓∩@$P↓∩@$X↓∩`$X↓∩`$X↓∩`$`↓∪$`↓∪$`↓∪ $h↓∪ $p↓∪@$p↓∪`$x↓∪`%↓∀%λ↓∀ %⊂↓∀@%_↓∀`% ↓∃%(↓∃ %0↓∃`%8↓⊗%H↓⊗ %P↓⊗`%`↓↔ %h↓↔@%x↓_&λ↓_@&_↓→&(↓→@68↓Z &P↓~`6`↓[@6x↓\ 7⊂α≥G0α≡GPα∨Wpβ  h ∧!a8`πdA∀("πj%⊂((∧@∧c↓x8¬a↓λλβ∨@g`α↑@G@α≥@G α≤@Gλ↓[`6p↓[6X↓Z@&H↓→`60↓Y & ↓_`&⊂↓_ &↓↔`%p↓↔ %h↓↔%X↓⊗@%H↓⊗ %@↓∃`%8↓∃@%(↓∃ % ↓∃%_↓∀`%⊂↓∀@%λ↓∀ %↓∀$x↓∪`$x↓∪@$p↓∪@$h↓∪ $h↓∪$`↓∪$`↓∪$X↓∩`$X↓∩`$X↓∩`$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓⊃(B-@K λαI!λ*β0H0↓l@03AM (6A
p(8A.@_;np <@o0_>o`_?@p⊂⊂AP0_Bp`⊂C@Q⊂D@Q ⊂E@Q@⊂F@Q`⊂GQp⊂HR⊂⊂IR ⊂I@R@⊂JRP⊂KR`⊂K@Rp⊂LS⊂⊂L@S ⊂MS ⊂M@S0⊂NS@⊂N@SP⊂N@S`⊂OS`⊂O@Sp⊂O@T⊂PT⊂PT⊂⊂P@T⊂⊂P@T⊂⊂QT ⊂QT ⊂QT ⊂QT0⊂Q@T0⊂Q@T0⊂Q@T0⊂Q@T0⊂Q@HT ⊂V`%P-⊂⊂⊂Q@T0⊂Q@T0⊂Q@T0⊂Q@T0⊂Q@T ⊂QT ⊂QT ⊂QT ⊂P@T⊂⊂P@T⊂⊂P@T⊂PT⊂PSp⊂O@Sp⊂OS`⊂OSP⊂N@SP⊂NS@⊂M@S0⊂MS ⊂MS⊂⊂L@S⊂K@Rp⊂KR`⊂J@R@⊂JR0⊂IR ⊂H@R⊂G@Q`⊂GQP⊂FQ0⊂EQ⊂⊂DPp⊂CP@_A@p ⊂@@Op_?o@_=@o⊂_;A∞`_:n⊂(7A-P 5↓,p02↓L8-B*@`%∧) P"Q∧%`.⊗K ↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$X↓∩`$X↓∩`$X↓∩`$X↓∪$`↓∪$`↓∪ $h↓∪ $h↓∪@$p↓∪@$x↓∪`$x↓∀%↓∀%λ↓∀ %⊂↓∀@%⊂↓∀`%_↓∃%(↓∃ %0↓∃@%8↓∃`%@↓⊗ %H↓⊗@%X↓⊗`%`↓↔ %p↓↔`%x↓_&λ↓_@&_↓→&(↓→@&8↓~&H↓Z@6`↓≠ &p↓[`7λ↓\@7 ↓] G8α≡ 7X↓←Wpα` X_β!@hHβc↓	¬eα→X¬⊃(B_.↔ λ ∀!) λd↓8`∧" x0β `hλα←@W`α↑`7H↓]`G(α≥7⊂↓\ 6x↓[@6h↓≠&P↓Z 6@↓→`&0↓→ & ↓_`&⊂↓_ &↓↔`%x↓↔@%h↓↔%X↓⊗`%P↓⊗ %H↓⊗%8↓∃`%0↓∃@%(↓∃ % ↓∀`%_↓∀@%⊂↓∀@%λ↓∀ %↓∀%↓∪`$x↓∪`$p↓∪@$p↓∪ $h↓∪ $h↓∪$`↓∪$`↓∩`$X↓∩`$X↓∩`$X↓∩`$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$("	P⊂2 X%∧JP`.α,⊂@2Am⊂06↓-p 8A.0(;↓∂ =o@_>A∂p_@@p _BpP_C@Q⊂D@q _FQP⊂GQp⊂HR⊂⊂IR0⊂JRP⊂KR`⊂K@S⊂L@S ⊂MS0⊂NS@⊂N@S`⊂OSp⊂O@T⊂P@T⊂⊂QT ⊂Q@T0⊂RT@⊂RTP⊂R@T`⊂STp⊂S@Tp⊂TU⊂TU⊂⊂T@U⊂⊂T@U ⊂UU ⊂UU0⊂U@U0⊂U@U0⊂VU@⊂VU@⊂VU@⊂VUP⊂V@UP⊂V@UP⊂V@UP⊂V@UP⊂V@UP⊂"Q∧V(↓→D1@UP⊂V@UP⊂V@UP⊂V@UP⊂V@UP⊂V@U@⊂VU@⊂VU@⊂VU@⊂U@U0⊂U@U0⊂U@U ⊂UU ⊂UU⊂⊂T@U⊂⊂T@U⊂TU⊂S@Tp⊂S@T`⊂STP⊂R@T@⊂RT@⊂Q@T0⊂QT ⊂P@T⊂⊂PSp⊂O@S`⊂OSP⊂NS@⊂M@S ⊂MS⊂⊂LRp⊂KR`⊂J@R@⊂I@R ⊂H@R⊂G@Q`⊂F@Q@⊂Eq⊂_DPp⊂B@p@_Ap⊂_?@oP >o _<↓∞` 9A.⊂(7A
@(4ALP80B@H*C	!⊂%αhT ∪→Lf 2$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∪$`↓∪$`↓∪$h↓∪ $h↓∪ $p↓∪@$p↓∪`$x↓∪`%↓∀%↓∀ %λ↓∀@%⊂↓∀@%_↓∀`% ↓∃%(↓∃ %0↓∃@%8↓⊗%@↓⊗ %H↓⊗@%X↓⊗`%`↓↔ %p↓↔@%x↓_&λ↓_@&⊂↓_`& ↓→ &0↓→`&@↓~ &P↓~`&`↓[ 6x↓≤'λ↓\@7 ↓≥ 70↓↑7Hα≡`7h↓←@Hα @H αa@XHαb`hpβ$ y ∧f↓Yh	)!$("	lf02(¬X¬'")@εe↓→λβc@hXβ" X0αaX⊂α Gpα∨ 7X↓↑ G@↓]@7(↓]'⊂↓\ 7↓≠`&h↓[6X↓~@&H↓~&8↓→@&(↓→&_↓_@&⊂↓_ &↓↔`%p↓↔@%h↓↔%X↓⊗`%P↓⊗ %H↓⊗%@↓∃`%0↓∃@%(↓∃ % ↓∃%_↓∀`%⊂↓∀@%⊂↓∀ %λ↓∀%↓∀$x↓∪`$x↓∪@$p↓∪@$h↓∪ $h↓∪ $`↓∪$`↓∪$`↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓⊃(FβA`_↓i0(%@0⊂%@0⊂%@0⊂%A)@_"Q⊂`βα`P_β∪↓∧X↓↓@$P↓α$P↓α$P↓α$P↓α$P↓α$P↓α$X↓↓@$`∧∪ d("_B⊂Hλα`('α)P_α@i@⊂∧@I0⊂¬@I0⊂¬@I ⊂ε@I ⊂ε@I ⊂ε@I ⊂ε@I ⊂ε@I0⊂¬@I0⊂¬@I@⊂∧@IP_α@i`H(↓(T 1EA1(¬αe¬∪@@0α∪  `↓∪ p↓∩`!↓∩`!↓∩`!↓∩@!⊂↓∩@!⊂↓∩@!⊂↓∩@!⊂↓∩@!⊂↓∩@!⊂↓∩`!↓∩`!↓∩`!↓∪ p↓∪  `↓∪@@0α∀↓%⊂β⊃(F 
CC h¬↓j X(↓p '@a0_'Ap⊂&@B⊂⊂&B0⊂&B0⊂%@BP⊂%@BP⊂%Bp⊂%Bp⊂%Bp⊂%Bp⊂%Bp⊂%Bp⊂%Bp⊂%@BP⊂%@BP⊂&B0⊂&B0⊂&@B⊂⊂'Ap⊂'@a0_(↓p )αj@8"QRλπap`∧∀aeλαBU↓C@4x↓∧@$p↓¬$h↓¬@$`↓ε$`↓ε$X↓ε@$X↓ε@$X↓ε@$P↓π$P↓π$P↓π$P↓π$P↓π$P↓π$P↓π$P↓π$X↓ε@$X↓ε@$X↓ε@$`↓ε$`↓ε$h↓¬@$p↓¬$x↓∧@%↓C@5λαBU_π∃A∧("→DQ_∩∧Ap8+β*@(βA*  εA
⊂_λ@j⊂
@Ip⊂@I`⊂@IP⊂
@IP⊂
@I@⊂∞@I@⊂∞@I0⊂∂@I0⊂∂@I0⊂∂@I ⊂⊂@I ⊂⊂@I ⊂⊂@I ⊂⊂@I ⊂⊂@I ⊂⊂@I ⊂⊂@I0⊂∂@I0⊂∂@I0⊂∂@I@⊂∞@I@⊂∞@IP⊂
@IP⊂
@I`⊂@Ip⊂@J⊂
@J⊂_λ@j  εA
@(βA*`h,AhT 3JBRH
∧↓%8λ∃ PPαT`Aα∀@1 ↓T !@↓∀!P↓∪`!`↓∪@!p↓∪ "↓∪ "↓∪"⊂↓∪"⊂↓∩`" ↓∩`" ↓∩`" ↓∩@"0↓∩@"0↓∩@"0↓∩@"0↓∩@"0↓∩@"0↓∩@"0↓∩@"0↓∩@"0↓∩@"0↓∩`" ↓∩`" ↓∩`" ↓∪"⊂↓∪"⊂↓∪ "↓∪ "↓∪@!p↓∪`!`↓∀!P↓∀ !@↓∀@1 ↓T`Aα∃ PPαUb¬P¬⊃(F@↔F¬a8	B+ x,↓!⊂(+↓↓p *↓α0 )@bp_)C0⊂(@CP⊂(Cp⊂'@D⊂⊂'D0⊂'D0⊂&@DP⊂&@DP⊂&Dp⊂&Dp⊂%@E⊂⊂%@E⊂⊂%@E⊂⊂%E0⊂%E0⊂%E0⊂%E0⊂%E0⊂%E0⊂%E0⊂%E0⊂%E0⊂%@E⊂⊂%@E⊂⊂%@E⊂⊂&Dp⊂&Dp⊂&@DP⊂&@DP⊂'D0⊂'D0⊂'@D⊂⊂(Cp⊂(@CP⊂)C0⊂)@bp_*↓α0 +↓↓p ,↓!⊂(-βkPH"Q
∪ 
c⊃(¬⊗b%Hβα@e8α∧@E0↓E@5 ↓F@5_↓G5⊂↓λ%λ↓λ@%↓	$x↓	@$x↓	@$p↓
$h↓
@$h↓
@$`↓$`↓$X↓@$X↓@$X↓@$X↓@$P↓$P↓$P↓$P↓$P↓$P↓$P↓$P↓$P↓$P↓$X↓@$X↓@$X↓@$X↓@$`↓$`↓$h↓
@$h↓
@$p↓
$x↓	@$x↓	@%↓	%λ↓λ@%⊂↓λ%_↓G5 ↓F@50↓E@58α∧@EHβα@eX	↔a$("~G⊃h≤παpX/∧+00¬AK⊂(λA+_@j`_
@jP_∞@j@⊂⊂@J0⊂⊃@J ⊂∩@J⊂⊂∪@J⊂∀@Ip⊂∃@Ip⊂∃@I`⊂⊗@IP⊂↔@IP⊂↔@I@⊂_@I@⊂_@I@⊂_@I0⊂→@I0⊂→@I0⊂→@I ⊂~@I ⊂~@I ⊂~@I ⊂~@I ⊂~@I ⊂~@I ⊂~@I ⊂~@I ⊂~@I ⊂~@I ⊂~@I0⊂→@I0⊂→@I0⊂→@I@⊂_@I@⊂_@I@⊂_@IP⊂↔@IP⊂↔@I`⊂⊗@Ip⊂∃@Ip⊂∃@J⊂∀@J⊂⊂∪@J ⊂∩@J0⊂⊃@J@⊂⊂@JP_∞@j`_
@k_@k⊂(λA+00¬AKaλ0BhT 5OCsh∂εA&	↔ pPβV`Q⊂αV A@α⊗1`↓U@2↓U 2⊂↓U"0↓∀`"@↓∀@"P↓∀ "`↓∀"p↓∀"p↓∪`#↓∪@#⊂↓∪@#⊂↓∪ # ↓∪ # ↓∪#0↓∪#0↓∪#0↓∩`#@↓∩`#@↓∩`#@↓∩`#@↓∩@#P↓∩@#P↓∩@#P↓∩@#P↓∩@#P↓∩@#P↓∩@#P↓∩@#P↓∩@#P↓∩@#P↓∩`#@↓∩`#@↓∩`#@↓∩`#@↓∪#0↓∪#0↓∪#0↓∪ # ↓∪ # ↓∪@#⊂↓∪@#⊂↓∪`#↓∀"p↓∀"p↓∀ "`↓∀@"P↓∀`"@↓∃"0↓∃ 2⊂↓U@2↓V1`↓V A@α⊗`Q⊂αW pPβXα& ¬⊃(F`!HH"λ∞αl!_/Aa08.A"0(-Aβ⊂ -cP_,d⊂_+@d0_+Dp⊂*@E⊂⊂*E0⊂)@EP⊂)Ep⊂(@F⊂⊂(F0⊂(F0⊂'@FP⊂'Fp⊂'Fp⊂&@G⊂⊂&@G⊂⊂&G0⊂&G0⊂&G0⊂%@GP⊂%@GP⊂%@GP⊂%@GP⊂%Gp⊂%Gp⊂%Gp⊂%Gp⊂%Gp⊂%Gp⊂%Gp⊂%Gp⊂%Gp⊂%Gp⊂%Gp⊂%@GP⊂%@GP⊂%@GP⊂%@GP⊂&G0⊂&G0⊂&G0⊂&@G⊂⊂&@G⊂⊂'Fp⊂'Fp⊂'@FP⊂(F0⊂(F0⊂(@F⊂⊂)Ep⊂)@EP⊂*E0⊂*@E⊂⊂+Dp⊂+@d0_,d⊂_-cP_-Aβ⊂ .A"0(/Aa081∧l`X"Q
T@∩⊃d1pε→αFλβCuxαEUhαε@EXαπ@EP↓H@5@↓I@58↓J50↓%(↓@% ↓%_↓@%⊂↓
%λ↓
@%λ↓
@%↓∞$x↓∞@$x↓∞@$p↓∂$p↓∂$h↓∂@$h↓∂@$`↓⊂λ⊂&H∧↓∪$ I0⊂ ⊂@$X↓⊂λ ⊂%@H∧⊂↓∩`$!I ⊂ ⊃$P↓⊂λ@⊂%H∧ ↓∩@$"I ⊂ ⊃$P↓⊂λ@⊂%H∧ ↓∩@$"I ⊂ ⊃$P↓⊂λ@⊂%H∧ ↓∩@$"I0⊂ ⊂@$X↓⊂λ ⊂%@H∧⊂↓∩`$!I@⊂ ⊂$`↓⊂λ⊂&H∧↓∪ #p↓∪ #p↓∪@#`↓∪@#`↓∪`#P↓∪`#P↓∀#@↓∀ #0↓∀ #0↓∀@# ↓∀`#⊂↓∃#↓∃ "p↓∃@"`↓∃`2@↓V20↓V@2⊂↓V`Apα↔ APα↔`Q αX p`βYαF@ε⊃(Fp&IiB0⊂β,a(1AaP80↓BP0/↓#0(.↓∧⊂ -@dP_,@e⊂_,e0_+@Ep⊂+F⊂⊂*@F0⊂*FP⊂)@Fp⊂)G⊂⊂(@G0⊂(@G0⊂(GP⊂'@Gp⊂'@Gp⊂'H∧λ↓∪@$ @IP⊂ ⊂`$h↓⊂λ0⊂&@H∧_↓∪$"@I@⊂ ⊃ $`↓⊂λP⊂%@H∧8↓∩`$#@I0⊂ ⊃`$X↓⊂λp⊂%H∧H↓∩@$$@I ⊂ ∩ $P↓⊂	⊂⊂%H∧H↓∩@$$@I ⊂ ∩ $P↓⊂	⊂⊂%H∧H↓∩@$$@I ⊂ ∩ $P↓⊂	⊂⊂%H∧H↓∩`$#@I0⊂ ⊃`$X↓⊂λp⊂%@H∧8↓∪$"@I@⊂ ⊃ $`↓⊂λP⊂&@H∧_↓∪ $!@IP⊂ ⊂`$p↓⊂λ⊂⊂'H∧λ↓∪`#x↓∪`#x↓∀#h↓∀ #X↓∀ #X↓∀@#H↓∀`#8↓∃#(↓∃ #_↓∃@#λ↓∃`"x↓⊗2X↓V 2H↓V`2(↓WBλα↔@QXαXa(β_`phβYBVPεQ(Gβ`P⊂A	 0%↓I 0%↓I0 "Q∞⊂PαB @_α∩a∧X∧∩A$P¬∩A$P¬∩a∧X∧∪ D("≤B@πA`P0&BI@`%CI0p%∧	!%∧	!%∧	!%CI0p&β	PP'AHT 9E↓!_∧A`dpε∪!d`λ∩b$X	∩b$P
∩BDP
∩BDP
∩BDX	∩b$X	∪α∧hπ∪AEλβ⊃(G 
β#⊂`∧B
⊂`'D	a⊂&E	A0&¬I1@%F	!P%εI!P%εI!P%εI!P%εI1@%F	A0&¬IQ '∧Iq(C
0@"Q∞QpπG!`X∧∀Ae	∪bDp∪#∧`
∪β$X∞∩cDX∞∩CdP∂∩CdP∂∩CdP∂∩CdP∂∩cDX∞∩cD`
∪β$h∪Bdx
∀α%⊂π∃!∧("≥DA⊂⊃D!`@*CJ1⊂(EJ↓@'FIa`&GIQp&λ	B%HI2⊂%HI" %		" %		" %		" %		2⊂%HI2⊂&λ	B&GIQp'π	qP(ε
⊃0)DJPp,αλT ;JαB8	Ca%0λ∃αE⊂∀#%∞∪cdp⊂∪$$h⊃∪∧D`∩∩ddX∪∩ddP∀∩E∧P∀∩E∧P∀∩E∧P∀∩E∧P∀∩E∧X∪∩ddX∪∪∧D`∩∪$$h⊃∪D∧x∂∀βEλ
∀C¬ 
∃B¬H¬⊃(G@↔¬eQ0	αK⊃+E
Q@)G
!p(H
α⊂'I	b0'	IR@&J	BP&
I2`%K	2`%I"p%I"p%I"p%I"p%I"p%K	2`%K	BP&
IR@&J	b0'	Ir (λJ∩)πJ1`*F
q ,D@P"Q∂∪⊂L#↓ ¬⊗B%@∃C% ∂∀d¬⊂⊃∀$E∪∪e∧p∃∪E$h⊗∪%D`↔∪¬dX_∩f∧X_∩f∧P→∩F$P→∩F$P→∩F$P→∩F$P→∩F$X_∩f∧X_∩f∧`↔∪¬dh⊗∪%Dp∃∪E$x∀∀∧eλ∩∀D%_⊂∃βe0
⊗αeP	↔A$("≡G↓`≠FbpP.DK!@,π
qp*HJB )IJ"@(JJα`'KIrp'	S⊂&LIC &
	C %MI30%MI30%∞	#@%∞	#@%∞	#@%∞	#@%∞	#@%MI30%MI30&
	C &
	S⊂&LIc'KIrp(
∩P)

20*	
R⊂+GK↓`-εQ⊂0BHT =OβcX∞F↓Ex	↔β¬P∞⊗∧¬0∩∃$e ∀∀e%⊂⊗∀%e_∪f$x→∪FDp~∪&dh≠∪π∧`≤∪π∧X≥∩g$X≥∩GDP≡∩GDP≡∩GDP≡∩GDP≡∩GDP≡∩GDP≥Rg$X≥∩g$`≤∪π∧`≤∪&dh≠∪FDp~∪f$x→∀ε¬λ↔∀EE_∃∃¬¬(∪∃DE@⊂⊗CE`↔b&⊂ε⊃(G`!λ(∩∞αL!⊂/FQ`-H∩ ,	JbP*K
Bp)L
#⊂(M
∪ (
Is@'N	cP'∞IS`&O	Cp&∂ICp%Pλ∧X ⊂	4 ∩H∧⊂%⊂λ$P ⊂I$!∩H∧⊂%⊂λ$P ⊂I$!∩H∧⊂%⊂λ$P ⊂I$!∩h∧%Pλ∧X ⊂	Cp&∂ICp&O	S`'∞IcP'N	s@(
J∪ (M
#⊂)L
Bp*K
bP,	K∩ -HQ`/F!⊂3αHT >QD4(⊃π!F_
_β%p∂↔∧%P∪⊗%¬8⊗∃Ee(_∃ε%_~∀Fe⊂≠T'¬≥∪gDx≡∪Gdp∨∪(∧&Pλ∧` ⊂ID!∪λ∧⊂%PλDX ⊃	4"∩h∧ %⊂λdP ⊃I$#∩H∧0%⊂λdP ⊃I$#∩H∧0%⊂λdP ⊃I$#∩H∧0%PλDX ⊃	4"∩h∧ &⊂λ$` ⊂ID!∪(∧&Pλ∧p∨∪Gdx≡∪gE≥∀'¬⊂≠TFe_~∃ε%(_∃Ee8⊗⊗%¬P∪↔∧%p∂_β&_
→aD("∨IB0%I$`3¬1P0GKr⊂.IK2P-β+LJc *MJC@)NJ#`)∂
∪p(⊂λ¬ ⊂	t!∪h∧⊂'⊂λDp ⊃	T#∪(∧0&⊂	∧` ∩	D$∩h∧P%P	$X ∩I4%∩H∧`%⊂	DP ∪	$&∩H∧`%⊂	DP ∪	$&∩H∧`%⊂	DP ∪	$&∩h∧P%P	$X ∩I4%∪λ∧@&⊂	∧` ∩	T#∪(∧0'⊂λDp ⊃	t!∪h∧⊂(⊂λ¬ ⊂
∪p)∂
#`)NJC@*MJc +LKβ-2P.IKr⊂0GL1P3¬
 `"{b⊗H2→-g 4YM⊗(9λλ4H)⊂iD(wF,6x2~-f89Xmε(6Y$∧`0UU@⊂_m↔⊂1[↑xε→Mvp:→L⊗_2XO↔ 2|`∞P∨λOPP∂`H∂∪α>fpα>f␈x␈␈sP←x␈␈sPO0¬03→@λ}`λ
f03!=@! ↓Lf0ελ{b@β→L`⊂∂0α
`f3 '}`(∀↓L`f@i=@b@β→Lh⊂({↓eε3→P'∂0∧∂↓_→L`Z}`H≡α3_→@λY=A#`∧f3_∨H{αg@	Lf0H∂0ε∀↓HLf@↓!}`h(β→HM⊂q=Aeε3→P3h{βjf3 s∂0λ→α↓|}aλ2∧ 1=B& λMλ{∧l@⊂↓(∂0
≡α03→@αk}a(<∧f030→=Bg@	Lf0k({¬o∪→L`↓g∂0"`α`f3 βn}aHE@¬L`f@@(=C(X→Lh↓∞0{εq0⊗3→Pα/?0∞'`β_→L`¬∧≡ahO@ε3_→@P\⎇Cixf3_↓6_{πsp→Lf0β↓O0⊂,`βHLf@ε-↑bλY@π→HMh9⎇D+_∞3→P↓cλ{λv0≤f3 β]o0∩1`∧πk≡b(c@λ↓>⎇Dl8⊂α∀x{	xp ∧D∂00↓ λLf@	<↑fλ¬3_→@↓_ε⎇L x↓→Lhα3`{_b@β→L`∧o␈02ε @	u↑f(∂↓→HM↓  ⎇Lb_αf3_αL{→eε3→P¬*?04 p3→@
}↑fH→α↓0Z⎇M#8∧3→Pαx {~g@	Lf0ε␈06⊂ ↓ f3 W↑fh#αf03↓P4⎇MdXεβ:⊂{≤Pf3 π∨/08B@_→L`∞C>g⊂π@L`f@↓h∀=N1 ↓Lf0βTx{≥β⊂∧π/o0:G@HLf@∞n>g0⊃@↓3_→@↓h}=Nr@β→LhβdX{≡¬Pπ→L`πT/0<L@↓∂A>gP≠@α→HM↓x8=O3`∧f3_β}8{∨λ⊂
3→Pλo0>Q@↓03→@⊂@}gp%@βαλZ> ⊃/P=xow{⎇x